http://identifiers.org/mgd/MGI:3808042 MGI:3808042 targeted mutation 1, Kuan-Teh Jeang Null/knockout Tax1bp1<tm1Ktj>